מערכות ספרתיות-צמצום פונקציה בוליאנית באמצעות מפת קרנו- השיטה